type B = A
